Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое formal language - определение
Найдено результатов: 7961
Formal language
![Strings of symbols]] may be broadly divided into nonsense and [[well-formed formula]]s. The set of well-formed formulas is divided into [[theorem]]s and non-theorems.](https://commons.wikimedia.org/wiki/Special:FilePath/Formal languages.svg?width=200 "Strings of symbols]] may be broadly divided into nonsense and [[well-formed formula]]s. The set of well-formed formulas is divided into [[theorem]]s and non-theorems.")
SET OF STRINGS OF SYMBOLS THAT MAY BE CONSTRAINED BY RULES THAT ARE SPECIFIC TO IT; WORDS WHOSE LETTERS ARE TAKEN FROM AN ALPHABET AND ARE WELL-FORMED ACCORDING TO A SPECIFIC SET OF RULES
Formal language theory; Formal languages; Language (computability); Language (computer science); Symbolic meaning; Formal expression; Language (mathematics); Language (logic); Empty language; Formal model; Symbolic system; Language (mathematical logic); Word (formal languages); Operations on languages; Complement of a language; Concatenation of languages; Applications of formal language theory; Set operations on formal languages; Operations on formal languages; Word (formal language theory)
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
Local language (formal language)
In mathematics, a local language is a formal language for which membership of a word in the language can be determined by looking at the first and last symbol and each two-symbol substring of the word.Salomaa (1981) p.
Formal semantics (natural language)
STUDY OF MEANING IN NATURAL LANGUAGES
Type-logical semantics; Formal semantics of natural languages; Formal semantics (linguistics); Formalization of natural language semantics; History of formal semantics (natural language)
Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language.
Formal (university)
![[[Balliol College, Oxford]]](https://commons.wikimedia.org/wiki/Special:FilePath/Balliol_College_Dining_Hall,_Oxford_-_Diliff.jpg?width=200 "[[Balliol College, Oxford]]")
![[[Lady Margaret Hall, Oxford]]](https://commons.wikimedia.org/wiki/Special:FilePath/LMH Hall.png?width=200 "[[Lady Margaret Hall, Oxford]]")
![[[Christ Church, Oxford]]](https://commons.wikimedia.org/wiki/Special:FilePath/1_christ_church_hall_2012.jpg?width=200 "[[Christ Church, Oxford]]")
![[[King's College, Cambridge]]](https://commons.wikimedia.org/wiki/Special:FilePath/Kings dining hall.JPG?width=200 "[[King's College, Cambridge]]")
![[[Selwyn College, Cambridge]]](https://commons.wikimedia.org/wiki/Special:FilePath/Dining Hall, Selwyn College, Cambridge.jpg?width=200 "[[Selwyn College, Cambridge]]")
FORMAL UNIVERSITY DINNER EVENT IN COMMONWEALTH COUNTRIES
Formal Hall; Formal hall; Second hall; Second Hall
Formal hall or formal meal is a meal held at some of the oldest universities in the United Kingdom and the Republic of Ireland (as well as some other Commonwealth countries) at which students usually dress in formal attire and often gowns to dine. These are held commonly in the colleges and halls of Oxford, Cambridge,Meals & Formal Hall, Trinity Hall, Cambridge, UK.
Formal power series
GENERALIZATION OF A POLYNOMIAL, WHERE THE NUMBER OF TERMS IS ALLOWED TO BE INFINITE, DEFINED ALGEBRAICALLY WITHOUT CONSIDERATION OF CONVERGENCE (SO THAT E.G. EVALUATION IS NOT ALWAYS DEFINED)
Formal Laurent series; Formal series; Non-commuting formal power series; Power series ring; Ring of formal power series; K((x)); R((x)); Ring of formal Laurent series; Formal power series ring; Magnus ring; Formal power serie; Formal power series over a semiring; Operations on formal power series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.).
Semantics (computer science)
THE FIELD CONCERNED WITH THE RIGOROUS MATHEMATICAL STUDY OF THE MEANING OF PROGRAMMING LANGUAGES
Program semantics; Programming language semantics; Formal semantics of programming languages; Semantics of programming languages
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax.
dressy
![](https://commons.wikimedia.org/wiki/Special:FilePath/" formal gowns for formal events ".jpg?width=200)
![Diplomatic reception in [[West Germany]] (1961); the Danish ambassador wears a red [[diplomatic uniform]], the British ambassador a dark one.](https://commons.wikimedia.org/wiki/Special:FilePath/Danish and UK diplomatic uniform 1961.jpg?width=200 "Diplomatic reception in [[West Germany]] (1961); the Danish ambassador wears a red [[diplomatic uniform]], the British ambassador a dark one.")
![First native [[Catholic parish priest]] from the [[Belgian Congo]], wearing a Roman [[cassock]] with the standard 18 buttons (''Gazet van Antwerpen'', 2 September 1906)](https://commons.wikimedia.org/wiki/Special:FilePath/Cassock priest french african.jpg?width=200 "First native [[Catholic parish priest]] from the [[Belgian Congo]], wearing a Roman [[cassock]] with the standard 18 buttons (''Gazet van Antwerpen'', 2 September 1906)")
![scarlet]] in [[Santo Domingo]], [[Dominican Republic]] (2006)](https://commons.wikimedia.org/wiki/Special:FilePath/Missione del Guaricano-cardinale Tarcisio Bertone.jpg?width=200 "scarlet]] in [[Santo Domingo]], [[Dominican Republic]] (2006)")
![[[Pope Benedict XVI]] in white cassock (sometimes though unofficially called a ''[[simar]]'') with [[pellegrina]] and fringed white fascia (2007)](https://commons.wikimedia.org/wiki/Special:FilePath/BentoXVI-58-12052007.jpg?width=200 "[[Pope Benedict XVI]] in white cassock (sometimes though unofficially called a ''[[simar]]'') with [[pellegrina]] and fringed white fascia (2007)")
![Patriarch]] [[Bartholomew I]] in the [[Church of the Holy Sepulchre]], [[Jerusalem]] (2014)](https://commons.wikimedia.org/wiki/Special:FilePath/Pope Franciscus & Patriarch Bartholomew I in the Church of the Holy Sepulchre in Jerusalem (1).JPG?width=200 "Patriarch]] [[Bartholomew I]] in the [[Church of the Holy Sepulchre]], [[Jerusalem]] (2014)")
![Primate]] of the [[Anglican Church of Korea]] (2013)](https://commons.wikimedia.org/wiki/Special:FilePath/Justin Welby and Kim Geun-Sang at Seoul Cathedral.JPG?width=200 "Primate]] of the [[Anglican Church of Korea]] (2013)")
![Chief Rabbi]] [[Shlomo Amar]] of [[Jerusalem]], [[Israel]] (right) with Jewish scholar [[Joseph J. Sherman]] (left) (2014)](https://commons.wikimedia.org/wiki/Special:FilePath/Rishon_LeZion_Shlomo_Amar_with_Yosef_Yehudah_Sherman.JPG?width=200 "Chief Rabbi]] [[Shlomo Amar]] of [[Jerusalem]], [[Israel]] (right) with Jewish scholar [[Joseph J. Sherman]] (left) (2014)")
![''hátíðarbúningur'']] formal dress on his wedding day along with a [[boutonnière]].](https://commons.wikimedia.org/wiki/Special:FilePath/Hátíðarbúningur karla.jpg?width=200 "''hátíðarbúningur'']] formal dress on his wedding day along with a [[boutonnière]].")
![Takayama]], Gifu prefecture](https://commons.wikimedia.org/wiki/Special:FilePath/Shinto married couple.jpg?width=200 "Takayama]], Gifu prefecture")
![King Abdullah]] in [[Arab]] formal dress](https://commons.wikimedia.org/wiki/Special:FilePath/Abdullah of Saudi Arabia.jpg?width=200 "King Abdullah]] in [[Arab]] formal dress")
![Indian Prime Minister [[Narendra Modi]] in a ''[[bandhgala]]'' along with his Japanese counterpart [[Shinzo Abe]]](https://commons.wikimedia.org/wiki/Special:FilePath/The Prime Minister, Shri Narendra Modi meeting the Prime Minister of Japan, Mr. Shinzo Abe, at Kuala Lumpur, in Malaysia on November 21, 2015 (1).jpg?width=200 "Indian Prime Minister [[Narendra Modi]] in a ''[[bandhgala]]'' along with his Japanese counterpart [[Shinzo Abe]]")
![spat]]s (1931)](https://commons.wikimedia.org/wiki/Special:FilePath/StateLibQld 1 232967 Governor Goodwin and party walking across the Grey Street Bridge after its opening.jpg?width=200 "spat]]s (1931)")
![Prince Eugen]] and [[Yngve Larsson]] at the inauguration of [[Skogskyrkogården]], [[Stockholm]], [[Sweden]] (1940)](https://commons.wikimedia.org/wiki/Special:FilePath/Skogskyrkogarden 1940.jpg?width=200 "Prince Eugen]] and [[Yngve Larsson]] at the inauguration of [[Skogskyrkogården]], [[Stockholm]], [[Sweden]] (1940)")
![Former [[U.S. President]] [[Harry Truman]] with [[William Lyon Mackenzie King]] (1947)](https://commons.wikimedia.org/wiki/Special:FilePath/TrumanKing1947Two.jpg?width=200 "Former [[U.S. President]] [[Harry Truman]] with [[William Lyon Mackenzie King]] (1947)")
![Men in morning dress and women in [[wedding gown]]s at a wedding (1929)](https://commons.wikimedia.org/wiki/Special:FilePath/1929wedding.jpg?width=200 "Men in morning dress and women in [[wedding gown]]s at a wedding (1929)")
![[[John F. Kennedy]] and [[Jacqueline Bouvier Kennedy]], in morning dress and [[wedding gown]], outdoors (1953)](https://commons.wikimedia.org/wiki/Special:FilePath/Toni Frissell, John F. Kennedy and Jacqueline Bouvier on their wedding day, 1953.jpg?width=200 "[[John F. Kennedy]] and [[Jacqueline Bouvier Kennedy]], in morning dress and [[wedding gown]], outdoors (1953)")
![Vanity Fair]]'' (1899)](https://commons.wikimedia.org/wiki/Special:FilePath/Beauchamp7.JPG?width=200 "Vanity Fair]]'' (1899)")
![[[Mustafa Kemal Atatürk]] in evening white tie formal wear (1925)](https://commons.wikimedia.org/wiki/Special:FilePath/Atatürk in white tie.jpg?width=200 "[[Mustafa Kemal Atatürk]] in evening white tie formal wear (1925)")
![[[Queen Elizabeth II]] (in [[ball gown]]) and [[Prince Philip]] ([[full dress uniform]]) before the formal (''full dress'') opening of the [[Parliament of Canada]] (1957), surrounded by participators of varying degrees of formal attire ([[morning dress]], [[white tie]] etc.), presumably in accordance with their functions or time of arrival and departure](https://commons.wikimedia.org/wiki/Special:FilePath/Queen Elizabeth II and Prince Philip sit on thrones before a full Parliament.jpg?width=200 "[[Queen Elizabeth II]] (in [[ball gown]]) and [[Prince Philip]] ([[full dress uniform]]) before the formal (''full dress'') opening of the [[Parliament of Canada]] (1957), surrounded by participators of varying degrees of formal attire ([[morning dress]], [[white tie]] etc.), presumably in accordance with their functions or time of arrival and departure")
![Empress Nagako]] (the men in white tie) during a state dinner (1975)](https://commons.wikimedia.org/wiki/Special:FilePath/Ford and Emperor1975.jpg?width=200 "Empress Nagako]] (the men in white tie) during a state dinner (1975)")
![Nieuwe Kerk]] on his [[inauguration day]] (30 April 2013)](https://commons.wikimedia.org/wiki/Special:FilePath/King Willem-Alexander and Queen Maxima on the inauguration 2013.jpg?width=200 "Nieuwe Kerk]] on his [[inauguration day]] (30 April 2013)")
CLASS OF CLOTHING FOR SPECIAL OCCASIONS OR EVENTS
Formalwear; Formal attire; Formal dress; Formal clothing; Coat and tie; Formal occasion; Materials for prom dresses and formalwear; Ball dress; Suits for men; Dressy; Formal clothes; Formal cloth; Men's formal wear
(dressier, dressiest)
Dressy clothes are smart clothes which you wear when you want to look elegant or formal.
ADJ
dressy
CLASS OF CLOTHING FOR SPECIAL OCCASIONS OR EVENTS
Formalwear; Formal attire; Formal dress; Formal clothing; Coat and tie; Formal occasion; Materials for prom dresses and formalwear; Ball dress; Suits for men; Dressy; Formal clothes; Formal cloth; Men's formal wear
a.
(Colloq.) Showy, flashy, gaudy, fond of dress.
Cone (formal languages)
IN FORMAL LANGUAGE THEORY
Trio (formal languages)
In formal language theory, a cone is a set of formal languages that has some desirable closure properties enjoyed by some well-known sets of languages, in particular by the families of regular languages, context-free languages and the recursively enumerable languages. The concept of a cone is a more abstract notion that subsumes all of these families.
Dressy
CLASS OF CLOTHING FOR SPECIAL OCCASIONS OR EVENTS
Formalwear; Formal attire; Formal dress; Formal clothing; Coat and tie; Formal occasion; Materials for prom dresses and formalwear; Ball dress; Suits for men; Dressy; Formal clothes; Formal cloth; Men's formal wear
·adj Showy in dress; attentive to dress.
